analytic program proving
[计] 解析程序证明
热门查询
- waterlog n. 涝灾 vt. 使(船等)进水；使浸透水
- bravery n. 勇敢；勇气 n. (Bravery)人名；(英)布雷弗里；(法)布拉韦里
- officiously adv. 过分殷勤地；非官方地
- disarming adj. 使解除警戒心的；使人消气的 v. 解除武装；使息怒（disarm的现在分词）
- subservience n. 有益；奉承，谄媚；从属性
- delia n. 迪莉娅（女子名）
- mannerly adj. 彬彬有礼的；客气的 adv. 客气地；彬彬有礼地
- overreact vi. 反应过度；反作用过强
- jester n. （中世纪宫廷或贵族家中的）小丑；爱开玩笑的人 n. (Jester)人名；(英)杰斯特
- ulcer n. [病理] 溃疡；腐烂物；道德败坏
- archetypal adj. [生物] 原型的
- data n. 数据（datum的复数）；资料 n. (Data)人名；(日)驮太 (姓)；(印、葡)达塔
- washboard n. （美）搓板；高低不平的路面；防波板 adj. 搓板状的；崎岖不平的
- woods n. [林] 树林；森林；木头（wood的复数） v. 供以木材；用森林覆盖（wood的第三人称单数） n. (Woods)人名；(英、葡)伍兹
- irrelevant adj. 不相干的；不切题的
- Transkei 特兰斯凯[南非(阿扎尼亚)东南部一地区]
- tending v. 照顾（tend的现在分词形式）；维护保养
- softcover n. 软封面；平装（书）
- personnel n. 人事部门；全体人员 adj. 人员的；有关人事的
- Staunton [人名] [英格兰人姓氏] 斯汤顿 Stanton的变体; [地名] [英国、英国] 斯汤顿
考试词汇表
- astreopora moretonensis
- astringent prescription
- astro geodetic leveling
- astro-geodetic leveling
- astro-gravimetric point
- astro-inertial guidance
- astrofix(ation) network
- astrogravimetric method
- astrogravimetric points
- astrometric binary star
- astrometric declination
- astrometric expectation
- astronaut safety bunker
- astronaut work capacity
- astronesthes splendidus
- astronomic azimuth mark
- astronomic(al) satation
- astronomical aberration
- astronomical chronology
- astronomical coordinate
